This paper, we propose a modal logic satisfying minimal requirements for reasoning about diagrams via collection of sets and relations between them, following Harel's proposal. We first give an axiomatics of such a theory and then provide its Kripke semantics. Then we extend previous works of ours in order to obtain a decision procedure based on tableaux for this logic. Beside soundness and completeness of our tableaux, we manage to define a strategy of rule application ensuring termination by extending the (...) usual loop test of modal logic S4 to whole sub-structures of the model being computed. (shrink)

Psychology research on men studies, attractiveness, and partner preferences has evolved from the influence of sociobiological perspectives to the role of interactions in shaping election toward sexual–affective relationships and desire toward different kinds of masculinities. However, there is a scientific gap in how language and communicative acts among women influence the kind of partner they feel attracted to and in the reproduction of relationship double standards, like the myth of the “warrior’s rest” where female attractiveness to “bad boys” is encouraged (...) or supported. Some women imitate “the warrior” behavior of men by choosing dominant traditional masculinities to have “fun” with and oppressed traditional masculinities for “rest” after the “fun” with DTM—choosing an OTM for a stable relationship, but perhaps without passion, while also feeling attraction toward DTM, a response which perpetuates the chauvinist double standard that the feminist movement has condemned when men behave in this sexist way. Through conducting a qualitative study with communicative daily life stories, this article explores, on the one hand, how language and social interaction among women can lead to the reproduction of the DTM role by women and, on the other hand, also how new alternative masculinities offer an alternative by explicitly rejecting, through the language of desire, to be the rest for the female warrior, the second fiddle to any woman. This has the potential to become a highly attractive alternative to DTM. Findings provide new knowledge through the analysis of communicative acts and masculinities evidencing the importance of language uses in the reproduction of the double standards in gender relations and to understand how and why these practices are maintained and which kind of language uses can contribute to preventing them. Implications for research and interventions on preventive socialization of gender violence are discussed. (shrink)

Trying to overcome Dugundji’s result on uncharacterisability of modal logics by finite logical matrices, Kearns and Ivlev proposed, independently, a characterisation of some modal systems by means of four-valued multivalued truth-functions , as an alternative to Kripke semantics. This constitutes an antecedent of the non-deterministic matrices introduced by Avron and Lev . In this paper we propose a reconstruction of Kearns’s and Ivlev’s results in a uniform way, obtaining an extension to another modal systems. The first part of the paper (...) is devoted to four-valued Nmatrices, including Kearns’s and Ivlev’s. Besides proving with full details Kearns’s results for T, S4 and S5, we also obtain a characterisation of the system B by four-valued Nmatrices with level valuations. Concerning Ivlev’s results, two new modal systems are introduced and char.. (shrink)

The primary goal of the present research was to determine the order of swimmers on a mixed relay team that would ensure the best performance in the Fédération Internationale de Natation World Championships held in Kazan, Budapest, and Gwangju. The data were obtained from database websites for the 4 × 100 m freestyle and 4 × 100 m medley official results,1 including 660 records from 188 entries of finals and 472 preliminary events. The results showed that the fastest swimmers were (...) located primarily in the first or second positions of the freestyle relay. The most successful gender strategy for the 4 × 100 m freestyle and for the 4 × 100 m medley relays was the order male-male-female-female, although no statistical differences were found for the medley relays. In the 4 × 100 m freestyle, the second and third relay legs had a statistical effect on the total relay time, whereas in the 4 × 100 m medley, all four relay legs had a statistical effect on the final performance, the weight of the four strokes being different in heats with respect to the final round. Also, a later position of the first female swimmer or the consecutive position of two female swimmers in the team order significantly affected the relay performance in specific events. Mixed relay events appeared to present specific strategies in comparison to traditional male- or female-only relay lineups. (shrink)

ABSTRACT We consider the question of the complete axiomatization of a relative modal logic with composition and intersection.

This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.

Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices, in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the axiom was replaced by the deontic axiom. In this paper, we propose even weaker systems, by eliminating (...) both axioms, which are characterized by eight-valued non-deterministic matrices. In addition, we prove completeness for those new systems. It is natural to ask if a characterization by finite ordinary logical matrices would be possible for all those Ivlev-like systems. We will show that finite deterministic matrices do not characterize any of them. (shrink)

El decir es anterior y va más allá del hablar, se vale del hablar y constituye la determinación del hablar. No hay un hablar sin un decir y sí puede haber un decir sin un hablar. El acto lingüístico es la manifestación del lenguaje, la lengua, el pensamiento y el conocimiento. Es fruto de un hablar, está determinado por un decir, presupone un conocer y revela la actitud del hablante, un sujeto libre e histórico, que es, a la vez, sujeto (...) hablante, dicente y cognoscente, ante la realidad y el mundo. De la misma manera que no se da un hablar sin un decir, tampoco se da un decir sin un conocer. En su génesis más profunda el conocer determina al decir y éste al hablar. Así, pues, el «ser hablante» (Coseriu) es, a la vez, el sujeto «dicente» (Ortega y Gasset) y el sujeto cognoscente (Coseriu, Ortega y Gasset, Heidegger, Aristóteles), porque se realiza a sí mismo en el acto del hablar y éste está determinado por el acto del decir y en última instancia por el acto del conocer. El decir define al hablante ante la realidad y el mundo y da soporte a lo que es la realidad y el mundo, que no es más que aquello a lo que el sujeto hablante, dicente y cognoscente le atribuye el ser o realidad. El ser humano, «coexistencia actuante de mí o yo con la circunstancia o mundo» (Ortega y Gasset), se libera de la necesidad vital en la que está inmerso, de la circunstancia a la que está inexorablemente ligado, mediante el conocer. Por el conocer el ser humano atribuye a eso que le rodea y afecta «el ser», haciendo de ello «cosas» y «mundo» constituido por «cosas». Todo esto se manifiesta en el acto lingüístico, que es un acto creador en un triple sentido: crea las cosas y el mundo (contenidos de conciencia, significados), crea la realidad de las cosas y el mundo, y crea la expresión de lo que es las cosas y el mundo (el lenguaje y la lengua) mediante lo dicho (lektón) determinado esto por el pensamiento (lógos). El acto lingüístico es creación (poiesis) y es manifestación (apóphansis), acto de crear un mundo y acto de desvelar el mundo interior del sujeto hablante, dicente y cognoscente, acto de desvelar lo que está oculto y que ahora es no-oculto o verdadero (a-lethés). El hablar, el decir y el conocer son acciones vitales del ser humano. El hablar es una acción vital del sujeto creador que le viene de fuera, de la comunidad; el decir es la acción vital que le viene de dentro y que proyecta él mismo hacia fuera, hacia la comunidad; y el conocer es el acto mismo de creación de un sujeto, que es, opuestamente, libre e histórico, absoluto y limitado, creador de formas y participante de formas comunes creadas en la comunidad. El hablar en sí mismo, al igual que la lengua, es a-circunstancial y tiene que ver con la creación en términos absolutos e históricos. El decir como manifestación del interior del sujeto hablante, dicente y cognoscente tiene que ver con la verdad o aquello que se manifiesta desvelándose (a-létheia). De esta manera, podemos ver dos clases de pensamiento o logos: el logos a-circunstancial o intersubjetivo o histórico, lógos semantikós, y el logos que manifiesta una realidad interior y crea una realidad exterior desde el interior del sujeto creador o lógos apophantikós. La lingüística del decir que ahora se presenta recoge una propuesta en el mismo sentido hecha por Ortega y Gasset y es la continuación de la lingüística del hablar de Coseriu. Hace un replanteamiento de la realidad radical, el ser hablante de Coseriu, que es concebido ahora como el sujeto hablante, dicente y cognoscente. Estudia el acto lingüístico, acto del hablar, decir y conocer, como la manifestación primera de la intención significativa de cada sujeto. Se basa en los principios de la lingüística del hablar de Coseriu, especialmente en los que describen el plano universal e individual del hablar, es decir, los principios de la confianza en el hablar del otro y de la congruencia y coherencia en el hablar. Mira, por consiguiente, al acto lingüístico como «producción», como aquello que se crea en el acto único del hablar, decir y conocer. La finalidad de la lingüística del decir es llegar la génesis misma del lenguaje, que no es más que la génesis del acto lingüístico. Analiza el acto lingüístico como la manifestación del acto del conocer, el cual partiendo de la aísthesis o intuición sensible (Ortega y Gasset, Heidegger, Aristóteles) o intuición inédita del hablante (Coseriu), se descompone en una serie de operaciones intelectivas, cada una de las cuales contribuye a configurar de una manera dada la «aprehensión del ser» inicial e inédita. Estas operaciones intelectivas son: la selección, el establecimiento de una designación, la creación de una clase o esencia, la relación, la nominación y la determinación. Tras la presentación y justificación de lo que es cada uno de los conceptos indicados arriba (los cuatro primeros capítulos), el libro dedica un capítulo a cada una de estas operaciones intelectivas, analizada e ilustrada con ejemplos. Como ilustración de lo que puede ser el análisis aquí propugnado, se dedica un capítulo al análisis del adjetivo 'brisk’, adjetivo de conducta de la lengua inglesa. (shrink)

El lenguaje o la actividad cognoscitiva del ser humano que se debate en su lucha contra la circunstancia en la que le ha tocado vivir es hablar, decir y conocer. El hombre habla porque tiene algo que decir, dice porque se define a sí mismo ante la circunstancia en la que vive en cada momento, y esto es posible porque conoce de forma creativa. En este sentido el decir determina el hablar, por arriba, y el conocer por abajo. El conocer (...) humano empieza en una sensación sensible, la aísthesis, la cual es transformada en un universal, extracto o concepto, logos, el cual es el fruto de una serie de operaciones intelectivas realizadas por el propio sujeto en u solo acto, el acto único de hablar, decir y conocer. (shrink)

Del 15 al 17 de noviembre de 2012 tuvo lugar el Congreso de Teo-logía “A los 50 años del Concilio Vaticano II ”, organizado por las Facultades de Teología de España y Portugal, en el Auditorio Juan Pablo II de la Universidad Pontificia de Salamanca. El acto inaugural fue presidido por el cardenal Antonio María Rouco Varela, arzobispo de Madrid y presidente de la Conferencia Episco-pal Española, titular del centro académico.

Linguistics of Saying is to be analyzed in the speech act conceived as an act of knowing. The speaking, saying and knowing subject, based on contexts and the principles of congruency and trust in the speech of other speakers, will create meanings and interpret the sense of utterances supplying the deficiencies of language by means of the intellective operations mentally executed in the act of speech. In the intellective operations you can see three steps or processes: first the starting point, (...) intuition or aísthesis; second, the process of abstraction; and third, the inverse: the process of determination or fixing the construct created. (shrink)

Linguistics of saying studies language in its birth. Language is the mental activity executed by speaking subjects. Linguistics of saying consists in analyzing speech acts as the result of an act of knowing. Speaking subjects speak because they have something to say. Tthey say because they define themselves before the circumstance they are in. And this is possible because they are able to know. Speaking, then, is speaking, saying and knowing. In this sense there is a progressive determination. Knowing makes (...) possible saying, and saying determines speaking, or, in other words: speaking involves saying and knowing, and saying involves knowing. The problem thus is to determine the meaningful intentional purpose of the individual speaker to say something in every speech act. (shrink)

Meaning as the original function of language is the arrangement of internal things on the part of the creative and historical individual subject who speaks a particular language. Meaning constitutes the series of contents making up the linguistic world human subjects can manage real things with. Real things are not described with meanings but merely represented and designated. Meanings represent the essence of things thus making them members of a category. In this sense, meaning is the base to create things (...) in as much as they constitute entities. Only through the operation of determination can meanings designate individual real things. Since meaningful categories are intended to particular purposes, meaning is intentional and inclusive. (shrink)

La lengua española nació cuando los hablantes del latín de la península Ibérica cambiaron de modo de pensar. Desde el pensar absoluto latino, asimilaron el pensar substantivo de los griegos a través del pensar cristiano. Haciendo una síntesis de estos tres pensares absolutos, crearon el pensar individual, el pensar abstracto y el pensar real. De este modo crearon lo que se puede designar como una ontología lingüística, la manifestación directa del pensar español. Los modos de pensar tienen que ver con (...) los modos de concebir lo que nos rodea. Ambos a dos preceden y determinan el pensamiento y la manifestación de las actividades libres del hombre, tanto si este es considerado individualmente, como si es considerado socialmente dentro del conjunto de hablantes que participan y contribuyen dentro de una comunidad lingüística. (shrink)

When we speak of language we usually use the concept of a particular language. In this sense the concept denoted with the word language may vary from one language to another. Real language (=the language spoken) on the contrary is the reality lived by speakers thus encompassing complex and multifarious activities. Depending on the language spoken, the modes of thinking, modes of being in the conception of things, and systems of beliefs transmitted by means of particular languages, denote the living (...) reality of language with different grammatical categories. The concept “language” is expressed sometimes with a noun, thus denoting something existing in it; sometimes with a verb, thus denoting an action or an activity; and sometimes with an adverb, thus denoting the mode of an activity. The reality or degree of reality implicit in these grammatical categories involves a particular mode of thinking, prompted with a particular mode of being in the conception of things. Because of this it is necessary to distinguish the concept of language as something different from the reality of language. But first of all it is necessary to determine the reality or degree of reality of both the reality lived by speakers and the thing usually conceived of as language or a language. (shrink)

The human subject in as much as he knows transforms the sensitive and concrete (the thing perceived) into abstract (an image of the thing perceived), the abstract into an idea (imaginative representation of the thing abstracted), and ideas into contents of conscience (meanings). The last step in the creation of meanings, something being executed in the speech act, consists in fixing the construct mentally created thus making it objectified meanings in the conscience of speakers. The interchange amongst the different steps (...) in the creation of meaning manifests lógos, the state lived by speakers in their interior when speaking, created and developed in words and because of words. (shrink)

The changes known as the loss of inflexions in English (11th- 15th centuries, included) were prompted with the introduction of a new mode of thinking. The mode of thinking, for the Anglo-Saxons, was a dynamic way of conceiving of things. Things were considered events happening. With the contacts of Anglo-Saxons with, first, the Romano-British; second, the introduction of Christianity; and finally with the Norman invasion, their dynamic way of thinking was confronted with the static conception of things coming from the (...) Mediterranean. The history of English from the 11th to the 15th century meant the introduction, confrontation and adoption of a new mental conception of things, the static way of conceiving of things, both modes of thinking defining the language today. (shrink)

Meaning defines language because it is the internal function of language. At the same time, meaning does not exist unless in language and because of language. From the point of view of the speaking subject meaning is contents of conscience. From the point of view of a language, meaning is the objectification of knowledge in linguistic signs. And from the point of view of the individual speaking subject, meaning is the expressive intentional purpose to say something.

Speakers live language, that is, they intuit, create, acquire, perform, speak and say, interpret, use, evaluate and, even, speak of language. The real language is the language lived by speakers. On the contrary linguists, who at the same time are speakers and linguists, study language as something manifesting of front of them. In order to study language it is necessary to determine the degree of reality of the thing called language as the reality lived and used by speakers.